The order of an element in a direct product of a finite number of finite groups is the least common multiple of the orders of the components of the element. In symbols,